Nuprl Definition : cond-to-list
0,22
postcript
pdf
?[
x
] == Case
x
of inl(
y
)
[
y
] ; inr(
y
)
nil
latex
clarification:
?[
x
] == Case
x
of inl(
y
)
y
.nil ; inr(
y
)
nil
latex
Definitions
Case
b
of inl(
x
)
s
(
x
) ; inr(
y
)
t
(
y
)
,
car
.
cdr
,
nil
FDL editor aliases
cond-to-list
origin
[y] ; inr(y) nil
y.nil ; inr(y) nil [y] ; inr(y) nil
y.nil ; inr(y) nil s(x) ; inr(y) t(y)